TAGs: applied calculus